import org.jetbrains.annotations.NotNull;

class A {
    @NotNull
    String f() {
        return "A.f";
    }
}